Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
401	Synopsys Hybrid Prototyping Solution `` Integrates Virtual and FPGA-Based Prototypes `` Start multicore SoC prototyping earlier Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-06 15:46:48 Field-programmable gate array Synopsys SystemC Prototype Embedded system Catapult C Hardware emulation Electronic engineering Electronic design automation FPGA prototype
402	Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-05-20 18:05:46 Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science
403	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
404	White Paper Signoff-Driven Timing Closure ECO in the Synopsys Galaxy Platform February 2014 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:38 Timing closure Physical design Design closure Integrated circuit design Static timing analysis ECO Synopsys Signal integrity Design rule checking Electronic engineering Electronic design automation Signoff
405	Datasheet Design Compiler Graphical Create a Better Starting Point for Faster Physical Implementation Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-18 14:15:53 Design closure Register-transfer level Compiler Floorplan Placement Place and route Static single assignment form Program optimization EDA database Electronic engineering Electronic design automation Physical design
406	White Paper Understanding DO-254 Compliance for the Verification of Airborne Digital Hardware October 2009 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-05-07 08:15:40 Integrated circuits Formal methods DO-254 Functional verification Logic simulation Electronic design automation Integrated circuit design Formal equivalence checking Synopsys Electronic engineering Electronics Electronic design
407	Datasheet PCell Xtreme Persistent PCells for OpenAccess Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:29:16 Cell Electronics OpenAccess Cadence SKILL Cache Interoperable PDK Libraries Electronic engineering PCell Electronic design automation
408	Pulsonix Spice Simulator Evaluation Guide 2 Contents Contents 3 Add to Reading List Source URL: www.pulsonix.com Language: English - Date: 2014-03-26 08:49:55 SPICE Electrical network Schematic capture Logic simulation Integrated circuit design Simulation CircuitLogix Micro-Cap Electronic engineering Electronic design automation Software
409	Datasheet Liberty NCX The Fastest Path to Production Current-Source Libraries Overview At process technologies of 65 nanometers and below, designers face a plethora of new Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:38 Electronic design automation Standard cell SPICE Current source Electronic engineering Electromagnetism Software
410	Eschmann Testimonial Eschmann Equipment realise major benefits after switching CAD tools to Pulsonix Eschmann Equipment is the trading name of Eschmann Holdings Ltd: Add to Reading List Source URL: www.pulsonix.com Language: English - Date: 2014-05-15 12:57:05 Schematic capture Electronic design automation OrCAD PCB Prototype P-CAD Electronics Electronic engineering Design Electronic design

UPDATE